induction proof involving sets